- axiomatiser
- v.tr. (de axiomatique) свеждам до аксиома.
Dictionnaire français-bulgare. 2014.
axiomatiser
Regardez d'autres dictionnaires:
axiomatiser — [ aksjɔmatize ] v. tr. <conjug. : 1> • v. 1935; de axiomatique ♦ Organiser sous forme axiomatique par un système déductif ou par la formalisation. P. p. adj. Théorie partiellement axiomatisée. ● axiomatiser verbe transitif Soumettre quelque … Encyclopédie Universelle
axiomatisation — [ aksjɔmatizasjɔ̃ ] n. f. • 1936; de axiomatiser ♦ Didact. Action d axiomatiser; état de ce qui a été axiomatisé. ⇒ formalisation. L axiomatisation d une science. « L axiomatisation [est] l acte mental qui aboutit à la création du schéma abstrait … Encyclopédie Universelle
Theorie des ensembles de von Neumann-Bernays-Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Theorie des ensembles de von Neumann–Bernays–Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie NBG — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des classes — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des ensembles de Von Neumann–Bernays–Gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… … Wikipédia en Français
Théorie des ensembles de von Neumann-Bernays-Gödel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des ensembles de von Neumann–Bernays–Gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… … Wikipédia en Français
Théorie des ensembles de von neumann–bernays–gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… … Wikipédia en Français
formaliser — (se) [ fɔrmalize ] v. pron. <conjug. : 1> • 1539; de formel, d apr. lat. formalis ♦ Être choqué d un manquement à la politesse formelle, au savoir vivre, aux conventions sociales. ⇒ s offenser, s offusquer, se piquer, se vexer. Se… … Encyclopédie Universelle
